$\forall$$T$:(Id$\rightarrow$Type), ${\it tab}$:secret{-}table($T$), ${\it keyv}$:(($\mathbb{N}$+Atom1)$\times$data($T$)).
\\[0ex]$\parallel$encrypt(${\it tab}$;${\it keyv}$)$\parallel$  $=$ $\parallel$${\it tab}$$\parallel$  $\in$ $\mathbb{Z}$